- 双语例句 更多例句
1、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
2、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
- 相关词组
- program semantics程序语义学;
- data semantics[计]数据语义学;
- trace semantics[计]轨迹语义学;
- query semantics[计]查询语义学;
- semantics of data[计] 数据语义学;
- verb semantics动词语义学;
- lexical semantics词汇语义学;
- world semantics[计] 世界语义学;
- logic semantics[计]逻辑语义学;
- mathematical ability数学能力;
- tree semantics[计]树状语义学;
- body semantics体态语义学；手势语义学;
- formal semantics形式语义学[程序];
- abstract semantics[计]抽象语义学;
- dynamic semantics[计]动态语义学;
- fault semantics[计]故障语义学;
- general semantics普通语义;
- mathematical formula[医] 数学公式;
- fixpoint semantics[计]定点语义学;
- final semantics[计]最终语义学;
- 今日热词
- 热门搜索
- three num.三;三个;第三（章，页等）;n.三个（人或物）;第三（课、章、行等） ;三岁;表示三的符号（3, iii, III）;<英橄> 中卫;三个（人或物）一组;3字型
- for days 累日；有日子;
- 欧曼 Auman;Oman;ETX;man
- praise v.称赞;（对上帝）称颂;n.称赞;（对上帝）敬拜;
- would you like 您是否希望；你想不想
- widow n.寡妇，遗孀;v.使丧偶;
- money n.钱;财富;薪水;款项;
- best wish 美好祝愿;
- assist v.帮助;援助;促进;n.（体育比赛中的）助攻;
- last name n.（欧美人放在名字后面的）姓;
- subject n. 主题，话题;学科，科目;[哲]主观;实验对象;adj. 须服从…的;（在君主等）统治下的;
- slim adj.苗条的;微薄的;小的;纤细的;少的;不足的;单薄的v.减肥;(靠节食等)变苗条
